visual modeling language in Chinese
Translation
Mobile
- 可視化建模語言
- "visual" in Chinese : adj. 1.視覺的,觀看的;視力的。 2.看得見的。 ...
- "modeling" in Chinese : n. 制造模型的方法,造型(術(shù));塑像術(shù);【美術(shù)】立體感 ...
- "language" in Chinese : n. 1.語言;(某民族,某國的)國語;語調(diào),措詞。 2 ...
- "visual modeling" in Chinese : 可視化建模; 可視化模型; 視覺化模型
- "modeling language" in Chinese : 建模語言; 模型建立語言
- "visual interactive modeling" in Chinese : 可視交互式建模
- "visual language" in Chinese : 視覺語言
- "cold fusion modeling language" in Chinese : 冷熔建模語言
- "electronic commerce modeling language" in Chinese : 電子商務(wù)建模語言; 電子商務(wù)模型語言
- "language virtual reality modeling" in Chinese : 虛擬現(xiàn)實標(biāo)示語言
- "system integration modeling language" in Chinese : 系統(tǒng)集成建模語言
- "uml unified modeling language" in Chinese : 統(tǒng)一建摸語言; 統(tǒng)一建模語言,通用建模語言
- "uml,unified modeling language" in Chinese : 統(tǒng)一建模語言
- "unified modeling language" in Chinese : 統(tǒng)一建模語言; 統(tǒng)一模式語言; 統(tǒng)一模型化語言
- "unified modeling language (uml)" in Chinese : 統(tǒng)一模式語言
Examples
- This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
本文通過將面向?qū)ο蟮目梢暬UZ言與基于時序邏輯的形式化方法結(jié)合起來描述軟件體系結(jié)構(gòu),對軟件體系結(jié)構(gòu)描述研究、 uml形式語義研究和形式化方法在軟件開發(fā)中的應(yīng)用等方面都有一定的推動作用。 - Based on these , this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2 . 0 and xyz / adl . in this paper , the disadvantage of several main methods of software architectural description is analysed , the advantage of uml 2 . 0 compared with uml 1 . x in the software architecture description is analysed , the corresponding relationship between uml 2 . 0 and xyz / adl in the architectural description is given and uml 2 . 0 model elements which used to describe the according architectural conception are determined , then a new way to describe software architecture which combine uml 2 . 0 and xyz / adl through defining the semantics of xyz / e for uml 2 . 0 is composed . in order to realize this method , the formal semantics of uml 2 . 0 sequence diagram and state diagram based on xyz / e are defined . in final , the arcitectural description of a simple dask manager system which uses our method is given
本文分析和比較了當(dāng)前國內(nèi)外常用的軟件體系結(jié)構(gòu)描述方法,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟件體系結(jié)構(gòu)描述方面的優(yōu)勢,確定了用uml2 . 0描述軟件體系結(jié)構(gòu)概念元素所使用的相關(guān)模型元素,給出了uml2 . 0與xyz / adl在體系結(jié)構(gòu)描述中的元素對應(yīng)關(guān)系;提出了一種通過定義uml2 . 0相關(guān)視圖的xyz / e語義,把uml2 . 0與xyz / adl結(jié)合起來描述軟件體系結(jié)構(gòu)的新方法,并分別定義了uml2 . 0的順序圖和狀態(tài)圖的xyz / e時序邏輯語義;最后通過對一個簡單的任務(wù)管理系統(tǒng)的體系結(jié)構(gòu)進(jìn)行描述,把本文提出的結(jié)合思想運(yùn)用到實例系統(tǒng)的描述當(dāng)中。 - So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基于此,本文開展了對基于時序邏輯的軟件體系結(jié)構(gòu)描述語言xyz / adl和uml之間的雙向轉(zhuǎn)換問題的研究,通過研究二者之間的轉(zhuǎn)換,實現(xiàn)將基于時序邏輯的形式化方法與面向?qū)ο蟮目梢暬UZ言相結(jié)合描述軟件體系結(jié)構(gòu),來探討如何將形式化方法應(yīng)用于實際的軟件開發(fā)過程中,這樣不但能促進(jìn)對當(dāng)前軟件主流技術(shù)的研究,而且能促進(jìn)對形式化開發(fā)方法的研究。
Related
"visual double" in Chinese, "visual class" in Chinese, "visual electrophysiology" in Chinese, "visual warning" in Chinese, "visual tester" in Chinese, "visual rivalry" in Chinese, "visual astrophotometry" in Chinese, "visual refractor" in Chinese, "visual method of judging" in Chinese, "visual minimal acuity" in Chinese, "visual minimum angle" in Chinese, "visual missing stimulus potential" in Chinese, "visual modeling" in Chinese, "visual modflow" in Chinese, "visual modulator" in Chinese, "visual monitor" in Chinese, "visual monitoring" in Chinese,
Neighbors
What is the meaning of visual modeling language in Chinese and how to say visual modeling language in Chinese? visual modeling language Chinese meaning, visual modeling language的中文,visual modeling language的中文,visual modeling language的中文,translation, pronunciation, synonyms and example sentences are provided by ichacha.net.